acm sigbed
|
emsoft
|
participants
Habeeb P
EMSOFT 2024: 24th International Conference on Embedded Software
Approximate Conformance Checking for Closed-Loop Systems with Neural Network Controllers
Habeeb P
,
Lipsy Gupta
, and
Pavithra Prabhakar
10.1109/TCAD.2024.3445813
https://web.eng.fiu.edu/gaquan/Papers/ESWEEK24Papers/EMSOFT/EMSOFT_28_Habeeb
Interval Image Abstraction for Verification of Camera-Based Autonomous Systems
Habeeb P
,
Deepak D'Souza
,
Kamal Lodaya
, and
Prabhakar Prabhakar
10.1109/TCAD.2024.3448306
https://www.imsc.res.in/~kamal/work/iiav.pdf